⠀
Proposition: Die Anzahl signierter Teilmengen einer
-elementigen Menge ist Die Anzahl signierter Teilmengen einer
-elementigen Menge ist .
Beweis
Es ist zu zeigen, dass eine Menge
Die Menge der möglichen Tupel
Da jedes Urbild
- entweder
- oder
- oder
.
In anderen Worten:
- jede signierte Teilmenge definiert eindeutig eine signierte charakteristische Funktion und
- jede signierte charakteristische Funktion definiert eindeutig eine signierte Teilmenge
Aus einem früheren Beweis wissen wir bereits, dass die Anzahl aller Funktionsvorschriften einer Funktion
In unserem Fall gilt:
Das heißt,